[INFO] cloning repository https://github.com/tawashichan/untyped_lambda_calculus
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tawashichan/untyped_lambda_calculus" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Funtyped_lambda_calculus", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Funtyped_lambda_calculus'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 36470b89855464df2e4dbc53f58501fb55188d98
[INFO] building tawashichan/untyped_lambda_calculus against master#881c1ac408d93bb7adaa3a51dabab9266e82eee8 for issue-85264
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Funtyped_lambda_calculus" "/workspace/builds/worker-4/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/tawashichan/untyped_lambda_calculus on toolchain 881c1ac408d93bb7adaa3a51dabab9266e82eee8
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/tawashichan/untyped_lambda_calculus
[INFO] finished tweaking git repo https://github.com/tawashichan/untyped_lambda_calculus
[INFO] tweaked toml for git repo https://github.com/tawashichan/untyped_lambda_calculus written to /workspace/builds/worker-4/source/Cargo.toml
[INFO] crate git repo https://github.com/tawashichan/untyped_lambda_calculus already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded nanoid v0.1.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9c617bedc2c07f1c9c37aabb096b4409fca59491893b7980db2edb6028dd0426
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "9c617bedc2c07f1c9c37aabb096b4409fca59491893b7980db2edb6028dd0426", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9c617bedc2c07f1c9c37aabb096b4409fca59491893b7980db2edb6028dd0426", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9c617bedc2c07f1c9c37aabb096b4409fca59491893b7980db2edb6028dd0426", kill_on_drop: false }`
[INFO] [stdout] 9c617bedc2c07f1c9c37aabb096b4409fca59491893b7980db2edb6028dd0426
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ed3da34739c4e867e7f5649bf13f79d7b7cf5fe9471d9b896d2bd5a72b0425c5
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "ed3da34739c4e867e7f5649bf13f79d7b7cf5fe9471d9b896d2bd5a72b0425c5", kill_on_drop: false }`
[INFO] [stderr]    Compiling rand v0.4.6
[INFO] [stderr]    Compiling nanoid v0.1.3
[INFO] [stderr]    Compiling untyped_lambda v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]   --> src/main.rs:47:9
[INFO] [stdout]    |
[INFO] [stdout] 47 |         _ => vec![]
[INFO] [stdout]    |         ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `num`
[INFO] [stdout]    --> src/main.rs:224:47
[INFO] [stdout]     |
[INFO] [stdout] 224 |             let app = (0..num).fold(init,|acm,num|
[INFO] [stdout]     |                                               ^^^ help: if this is intentional, prefix it with an underscore: `_num`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `Assignment`
[INFO] [stdout]  --> src/ast.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub type Assignment = (String,Lambda);
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Term`
[INFO] [stdout]  --> src/ast.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     Term(Var),
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Abstruct`
[INFO] [stdout]  --> src/ast.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Abstruct(Var,Box<Lambda>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `App`
[INFO] [stdout]  --> src/ast.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     App(Box<Lambda>,Box<Lambda>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `t`
[INFO] [stdout]   --> src/main.rs:11:4
[INFO] [stdout]    |
[INFO] [stdout] 11 | fn t() -> Lambda {
[INFO] [stdout]    |    ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `f`
[INFO] [stdout]   --> src/main.rs:15:4
[INFO] [stdout]    |
[INFO] [stdout] 15 | fn f() -> Lambda {
[INFO] [stdout]    |    ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `cond`
[INFO] [stdout]   --> src/main.rs:19:4
[INFO] [stdout]    |
[INFO] [stdout] 19 | fn cond() -> Lambda {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `free_var`
[INFO] [stdout]   --> src/main.rs:35:4
[INFO] [stdout]    |
[INFO] [stdout] 35 | fn free_var(exp: &Lambda) -> Vec<Var>{
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `assign`
[INFO] [stdout]   --> src/main.rs:51:4
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn assign(target: Lambda,var_name: String,exp: Lambda) -> Lambda {
[INFO] [stdout]    |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `beta_reduction`
[INFO] [stdout]   --> src/main.rs:92:4
[INFO] [stdout]    |
[INFO] [stdout] 92 | fn beta_reduction(exp: Lambda) -> Lambda {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `beta_reduction_multiple`
[INFO] [stdout]    --> src/main.rs:109:4
[INFO] [stdout]     |
[INFO] [stdout] 109 | fn beta_reduction_multiple(exp: Lambda) -> Lambda {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `gen_unique_type_var_name`
[INFO] [stdout]    --> src/main.rs:118:4
[INFO] [stdout]     |
[INFO] [stdout] 118 | fn gen_unique_type_var_name() -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `zero`
[INFO] [stdout]    --> src/main.rs:122:4
[INFO] [stdout]     |
[INFO] [stdout] 122 | fn zero() -> Lambda {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `one`
[INFO] [stdout]    --> src/main.rs:132:4
[INFO] [stdout]     |
[INFO] [stdout] 132 | fn one() -> Lambda {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `two`
[INFO] [stdout]    --> src/main.rs:145:4
[INFO] [stdout]     |
[INFO] [stdout] 145 | fn two() -> Lambda {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `three`
[INFO] [stdout]    --> src/main.rs:161:4
[INFO] [stdout]     |
[INFO] [stdout] 161 | fn three() -> Lambda {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `succ`
[INFO] [stdout]    --> src/main.rs:181:4
[INFO] [stdout]     |
[INFO] [stdout] 181 | fn succ() -> Lambda {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `add`
[INFO] [stdout]    --> src/main.rs:203:4
[INFO] [stdout]     |
[INFO] [stdout] 203 | fn add() -> Lambda {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `n`
[INFO] [stdout]    --> src/main.rs:219:4
[INFO] [stdout]     |
[INFO] [stdout] 219 | fn n(num: i64) -> Lambda {
[INFO] [stdout]     |    ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `mul`
[INFO] [stdout]    --> src/main.rs:241:4
[INFO] [stdout]     |
[INFO] [stdout] 241 | fn mul() -> Lambda {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `exp`
[INFO] [stdout]    --> src/main.rs:260:4
[INFO] [stdout]     |
[INFO] [stdout] 260 | fn exp() -> Lambda {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `is_zero`
[INFO] [stdout]    --> src/main.rs:279:4
[INFO] [stdout]     |
[INFO] [stdout] 279 | fn is_zero() -> Lambda {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `alpha_equivalence`
[INFO] [stdout]    --> src/main.rs:295:4
[INFO] [stdout]     |
[INFO] [stdout] 295 | fn alpha_equivalence(exp1: Lambda,exp2: Lambda) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `prod_n`
[INFO] [stdout]    --> src/main.rs:313:4
[INFO] [stdout]     |
[INFO] [stdout] 313 | fn prod_n(n: i64) -> Lambda {
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `prod_n_i`
[INFO] [stdout]    --> src/main.rs:336:4
[INFO] [stdout]     |
[INFO] [stdout] 336 | fn prod_n_i(n: i64,i: i64) -> Lambda {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `turing_y_combinator`
[INFO] [stdout]    --> src/main.rs:345:4
[INFO] [stdout]     |
[INFO] [stdout] 345 | fn turing_y_combinator() -> Lambda {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `pred`
[INFO] [stdout]    --> src/main.rs:382:4
[INFO] [stdout]     |
[INFO] [stdout] 382 | fn pred() -> Lambda {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `sub`
[INFO] [stdout]    --> src/main.rs:422:4
[INFO] [stdout]     |
[INFO] [stdout] 422 | fn sub() -> Lambda {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `fact`
[INFO] [stdout]    --> src/main.rs:438:4
[INFO] [stdout]     |
[INFO] [stdout] 438 | fn fact() -> Lambda {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `slice_patterns` has been stable since 1.42.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(slice_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0635]: unknown feature `vec_remove_item`
[INFO] [stdout]  --> src/main.rs:4:12
[INFO] [stdout]   |
[INFO] [stdout] 4 | #![feature(vec_remove_item)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error; 32 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0635`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `untyped_lambda`
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `Command { std: "docker" "inspect" "ed3da34739c4e867e7f5649bf13f79d7b7cf5fe9471d9b896d2bd5a72b0425c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ed3da34739c4e867e7f5649bf13f79d7b7cf5fe9471d9b896d2bd5a72b0425c5", kill_on_drop: false }`
[INFO] [stdout] ed3da34739c4e867e7f5649bf13f79d7b7cf5fe9471d9b896d2bd5a72b0425c5
